#include <stdio.h>
int main()
{
	int n,m,i,j,temp;
	int a[100];
	scanf("%d",&n);
	for(i=0;i<n;i++)
	{
		scanf("%d",&m);
		a[i]=m;
	}
	for(i=1;i<n;++i)
	{
		temp=a[i];
		j=i-1;
		while(j>=0 && temp<a[j])
		{
			a[j+1]=a[j];
			--j;
		}
		a[j+1]=temp;
	}
	for(i=1,j=1;i<n;i++)
		if(a[i]!=a[i-1])
		{
			a[j]=a[i];
			j++;
		}
	printf("%d\n",j);
	for(i=0;i<j;i++)
	printf("%d ",a[i]);
	return 0;
}
